Montes Manuel's Documents

Montes Manuel's Documents

Towards mechanized mathematical assistants: 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: proceedings

Towards mechanized mathematical assistants: 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: proceedings
Read more
Mobile Communication and Society: A Global Perspective

Mobile Communication and Society: A Global Perspective
Read more
Intelligent Decision-making Support Systems: Foundations, Applications and Challenges (Decision Engineering)

Intelligent Decision-making Support Systems: Foundations, Applications and Challenges (Decision Engineering)
Read more
Analisis multivariado. Un manual para investigadores

Analisis multivariado. Un manual para investigadores
Read more
Rare Diseases Epidemiology

Rare Diseases Epidemiology
Read more
Methods to Study Litter Decomposition: A Practical Guide

Methods to Study Litter Decomposition: A Practical Guide
Read more
Formal Approaches to Software Testing and Runtime Verification

Formal Approaches to Software Testing and Runtime Verification
Read more
All about Maude.. a high-performance logical framework

All about Maude.. a high-performance logical framework
Read more
Orthogonal Polynomials and their Applications

Orthogonal Polynomials and their Applications
Read more
The Sun, Solar Analogs and the Climate: Saas-Fee Advanced Course 34, 2004. Swiss Society for Astrophysics and Astronomy

The Sun, Solar Analogs and the Climate: Saas-Fee Advanced Course 34, 2004. Swiss Society for Astrophysics and Astronomy
Read more
Trends in Applied Intelligent Systems, 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part II

Trends in Applied Intelligent Systems, 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part II
Read more
Analysis and Design of Quadrature Oscillators (Analog Circuits and Signal Processing)

Analysis and Design of Quadrature Oscillators (Analog Circuits and Signal Processing)
Read more
Biodental Engineering

Biodental Engineering
Read more
Trends in Applied Intelligent Systems, 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part I

Trends in Applied Intelligent Systems, 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part I
Read more
Marine Ecosystems and Global Change

Marine Ecosystems and Global Change
Read more
Foundations of Reasoning under Uncertainty (Studies in Fuzziness and Soft Computing)

Foundations of Reasoning under Uncertainty (Studies in Fuzziness and Soft Computing)
Read more
Trends in Applied Intelligent Systems, 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part III

Trends in Applied Intelligent Systems, 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part III
Read more
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (Lecture Notes in Computer Science)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (Lecture Notes in Computer Science)
Read more
Guía Geológica del Parque Regional de la Sierra de la Pila

Guía Geológica del Parque Regional de la Sierra de la Pila
Read more
Models of Visuospatial Cognition (Counterpoints: Cognition, Memory, and Language)

Models of Visuospatial Cognition (Counterpoints: Cognition, Memory, and Language)
Read more
The Age of Alternative Logics

The Age of Alternative Logics
Read more
Otorhinolaryngology, Head and Neck Surgery (European Manual of Medicine)

Otorhinolaryngology, Head and Neck Surgery (European Manual of Medicine)
Read more
Progress in Functional Analysis: Proceedings of the International Functional Analysis Meeting on the Occasion of the 60th Birthday of Professor M. V: ... 1990

Progress in Functional Analysis: Proceedings of the International Functional Analysis Meeting on the Occasion of the 60th Birthday of Professor M. V: ... 1990
Read more
Manual of Aesthetic Surgery

Manual of Aesthetic Surgery
Read more
Neuroendocrine Cells and Peptidergic Innervation in Human and Rat Prostrate

Neuroendocrine Cells and Peptidergic Innervation in Human and Rat Prostrate
Read more
Anatolistica, indoeuropeistica e oltre nelle memorie dei seminarî offerti da Onofrio Carruba (anni 1997-2002) al Medesimo presentate. Tomo I

Anatolistica, indoeuropeistica e oltre nelle memorie dei seminarî offerti da Onofrio Carruba (anni 1997-2002) al Medesimo presentate. Tomo I
Read more
Progress in Functional Analysis: Proceedings of the International Functional Analysis Meeting on the Occasion of the 60th Birthday of Professor M. V

Progress in Functional Analysis: Proceedings of the International Functional Analysis Meeting on the Occasion of the 60th Birthday of Professor M. V
Read more
Otorhinolaryngology, Head and Neck Surgery

Otorhinolaryngology, Head and Neck Surgery
Read more
High-Energy Spectroscopic Astrophysics: Saas Fee Advanced Course 30, 2000. Swiss Society for Astrophysics and Astronomy (Saas-Fee Advanced Courses)

High-Energy Spectroscopic Astrophysics: Saas Fee Advanced Course 30, 2000. Swiss Society for Astrophysics and Astronomy (Saas-Fee Advanced Courses)
Read more
Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga

Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga
Read more